This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
WeiterlesenThis book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...
WeiterlesenThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
WeiterlesenThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
WeiterlesenThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
WeiterlesenThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
WeiterlesenEfforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
WeiterlesenEfforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
WeiterlesenThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
WeiterlesenThis book argues that the key problems of software systems development (SSD) are socio-technical rather than purely technical ...
WeiterlesenThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
WeiterlesenThis book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced ...
WeiterlesenThis book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...
WeiterlesenThis book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...
WeiterlesenThis book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...
WeiterlesenThis book constitutes the refereed proceedings of the 13th International Conference on the Quality of Information and Communications ...
WeiterlesenThis book constitutes the proceedings of the 3rd European Workshop on Software Architecture (EWSA 2006) provided an internationalforumforresearchersandpractitionersfromacademiaandindustry ...
WeiterlesenThis book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
WeiterlesenConstitutes the refereed proceeding of the 12th European Software Process Improvement Conference, EuroSPI 2005, held in Budapest, ...
WeiterlesenThis volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...
Weiterlesen